Mauro Pezzè: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Healing Web applications through automatic workarounds

Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

2

[ACM Press the 2008 international workshop - Leipzig, Germany (2008.05.12-2008.05.13)] Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems - SEAMS '08 - Self-healing by means of automatic workarounds

Carzaniga, Antonio, Gorla, Alessandra, Pezzè, Mauro

Year:

2008

Language:

english

File:

PDF, 294 KB

english, 2008

3

[ACM Press the 2nd international workshop - Leipzig, Germany (2008.05.10-2008.05.11)] Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems - ULSSIS '08 - Visibility of control in adaptive systems

Müller, Hausi, Pezzè, Mauro, Shaw, Mary

Year:

2008

Language:

english

File:

PDF, 33.48 MB

english, 2008

4

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Automatic workarounds for web applications

Carzaniga, Antonio, Gorla, Alessandra, Perino, Nicolò, Pezzè, Mauro

Year:

2010

Language:

english

File:

PDF, 518 KB

english, 2010

5

Improving UML with Petri nets

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 160 KB

english, 2001

6

Automatic Workarounds

Carzaniga, Antonio, Gorla, Alessandra, Perino, Nicolò, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2015

Language:

english

File:

PDF, 9.77 MB

english, 2015

7

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Localizing Faults in Cloud Systems

Mariani, Leonardo, Monni, Cristina, Pezze, Mauro, Riganelli, Oliviero, Xin, Rui

Year:

2018

Language:

english

File:

PDF, 394 KB

english, 2018

8

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Energy-Based Anomaly Detection A New Perspective for Predicting Software Failures

Monni, Cristina, Pezze, Mauro

Year:

2019

Language:

english

File:

PDF, 84 KB

english, 2019

9

Automatic test case evolution

Mirzaaghaei, Mehdi, Pastore, Fabrizio, Pezzè, Mauro

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 3.31 MB

english, 2014

10

Test-and-adapt

Denaro, Giovanni, Pezzè, Mauro, Tosi, Davide

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 3.80 MB

english, 2013

11

High-Level Timed Petri Nets as a kernel for executable specifications

Miguel Felder, Carlo Ghezzi, Mauro Pezzé

Journal:

Real-Time Systems

Year:

1993

Language:

english

File:

PDF, 978 KB

english, 1993

12

[IEEE 2012 IEEE International Conference on Software Maintenance (ICSM) - Trento, Italy (2012.09.23-2012.09.28)] 2012 28th IEEE International Conference on Software Maintenance (ICSM) - From off-Line to continuous on-line maintenance

Year:

2012

Language:

english

File:

PDF, 56 KB

english, 2012

13

Graph models for reachability analysis of concurrent programs

Pezzè, Mauro, Taylor, Richard N., Young, Michal

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1995

Language:

english

File:

PDF, 2.86 MB

english, 1995

14

Symbolic execution of concurrent systems using Petri nets

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè

Journal:

Computer Languages

Year:

1989

Language:

english

File:

PDF, 1.29 MB

english, 1989

15

Preface: Volume 50, Issue 3

Luciano Baresi, Mauro Pezze, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 40 KB

english, 2001

16

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Generating Effective Integration Test Cases from Unit Ones

Pezze, Mauro, Rubinov, Konstantin, Wuttke, Jochen

Year:

2013

Language:

english

File:

PDF, 619 KB

english, 2013

17

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - The ICSE2000 doctoral workshop

Magee, Jeff, Pezzè, Mauro

Year:

2000

Language:

english

File:

PDF, 39 KB

english, 2000

18

Bidirectional Symbolic Analysis for Effective Branch Testing

Baluda, Mauro, Denaro, Giovanni, Pezze, Mauro

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 887 KB

english, 2015

19

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - JBSE: a symbolic executor for Java programs with complex heap inputs

Braione, Pietro, Denaro, Giovanni, Pezzè, Mauro

Year:

2016

Language:

english

File:

PDF, 274 KB

english, 2016

20

GK-Tail+ An Efficient Approach to Learn Software Models

Mariani, Leonardo, Pezze, Mauro, Santoro, Mauro

Journal:

IEEE Transactions on Software Engineering

Year:

2016

Language:

english

File:

PDF, 2.46 MB

english, 2016

21

Exception handlers for healing component-based systems

Chang, Hervé, Mariani, Leonardo, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 2.63 MB

english, 2013

22

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Constructing multi-formalism state-space analysis tools

Pezzè, Mauro, Young, Michal

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

23

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Iterative model-driven development of adaptable service-based applications

Lambers, Leen, Ehrig, Hartmut, Mariani, Leonardo, Pezzè, Mauro

Year:

2007

Language:

english

File:

PDF, 341 KB

english, 2007

24

Automated Testing of Classes

Buy, Ugo, Orso, Alessandro, Pezze, Mauro

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 388 KB

english, 2000

25

Design for Testability for Highly Reconfigurable Component-Based Systems

Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 152 KB

english, 2003

26

Toward formalizing structured analysis

Baresi, Luciano, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1998

Language:

english

File:

PDF, 236 KB

english, 1998

27

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - DaTeC: Contextual data flow testing of java classes

Denaro, Giovanni, Gorla, Alessandra, Pezze, Mauro

Year:

2009

Language:

english

File:

PDF, 420 KB

english, 2009

28

Towards Industrially Relevant Fault-Proneness Models

Denaro, Giovanni, Pezzè, Mauro, Morasca, Sandro

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

29

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Generation of multi-formalism state-space analysis tools

Pezzè, Mauro, Young, Michal

Year:

1996

Language:

english

File:

PDF, 714 KB

english, 1996

30

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - SOQUA 2007

Denaro, Giovanni, Pezzè, Mauro, Shehory, Onn

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

31

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - An empirical evaluation of fault-proneness models

Denaro, Giovanni, Pezzè, Mauro

Year:

2002

Language:

english

File:

PDF, 1.16 MB

english, 2002

32

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - A toolset for automated failure analysis

Mariani, Leonardo, Pastore, Fabrizio, Pezze, Mauro

Year:

2009

Language:

english

File:

PDF, 903 KB

english, 2009

33

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Buenos Aires (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions

Aquino, Andrea, Denaro, Giovanni, Pezze, Mauro

Year:

2017

Language:

english

File:

PDF, 199 KB

english, 2017

34

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Ensuring interoperable service-oriented systems through engineered self-healing

Denaro, Giovanni, Pezzè, Mauro, Tosi, Davide

Year:

2009

Language:

english

File:

PDF, 485 KB

english, 2009

35

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Symbolic execution of programs with heap inputs

Braione, Pietro, Denaro, Giovanni, Pezzè, Mauro

Year:

2015

Language:

english

File:

PDF, 497 KB

english, 2015

36

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 438 KB

english, 2005

37

[Advances in Computers] Volume 95 || Automated Test Oracles

Year:

2014

Language:

english

File:

PDF, 394 KB

english, 2014

38

Automatic testing of GUI-based applications

Mariani, Leonardo, Pezzè, Mauro, Riganelli, Oliviero, Santoro, Mauro

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 1.69 MB

english, 2014

39

[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - Analyzing refinements of state based specifications

Felder, Miguel, Ghezzi, Carlo, Pezzè, Mauro

Year:

1993

Language:

english

File:

PDF, 870 KB

english, 1993

40

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Reproducing concurrency failures from crash stacks

Bianchi, Francesco A., Pezzè, Mauro, Terragni, Valerio

Year:

2017

Language:

english

File:

PDF, 1.65 MB

english, 2017

41

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Effectiveness and challenges in generating concurrent tests for thread-safe classes

Terragni, Valerio, Pezzè, Mauro

Year:

2018

Language:

english

File:

PDF, 771 KB

english, 2018

42

Kriging-based Self-adaptive Cloud Controllers

Gambi, Alessio, Pezze, Mauro, Toffetti, Giovanni

Journal:

IEEE Transactions on Services Computing

Year:

2015

Language:

english

File:

PDF, 2.63 MB

english, 2015

43

Formal interpreters for diagram notations

Baresi, Luciano, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 815 KB

english, 2005

44

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

Braione, Pietro, Denaro, Giovanni, Pezzè, Mauro

Year:

2013

Language:

english

File:

PDF, 506 KB

english, 2013

45

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - SUSHI

Braione, Pietro, Denaro, Giovanni, Mattavelli, Andrea, Pezzè, Mauro

Year:

2018

Language:

english

File:

PDF, 818 KB

english, 2018

46

[ACM Press the 2nd International Workshop - Cape Town, South Africa (2010.05.01-2010.05.02)] Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems - PESOS '10 - Protecting SLAs with surrogate models

Gambi, Alessio, Toffetti, Giovanni, Pezzè, Mauro

Year:

2010

Language:

english

File:

PDF, 674 KB

english, 2010

47

A Technique for Verifying Component-Based Software

Leonardo Mariani, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 362 KB

english, 2005

48

Graph transformations and software engineering: Success stories and lost chances

Toffetti, Giovanni, Pezzè, Mauro

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 603 KB

english, 2013

49

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Reusing constraint proofs in program analysis

Aquino, Andrea, Bianchi, Francesco A., Chen, Meixian, Denaro, Giovanni, Pezzè, Mauro

Year:

2015

Language:

english

File:

PDF, 878 KB

english, 2015

50

Generation of multi-formalism state-space analysis tools

Pezzè, Mauro, Young, Michal

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 714 KB

english, 1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски